A. K. Simpson; 1994; "The Proof Theory and Semantics of Intuitinistic Modal Logic" - Internet Explorer 2.0

A. K. Simpson; 1994; "The Proof Theory and Semantics of Intuitinistic Modal Logic"

Memo

Alex K. SimpsonのPh.D論文

https://era.ed.ac.uk/handle/1842/407 から閲覧可能

直観主義様相論理に関してのサーベイも含まれる．